# -*- mode: snippet -*-
# name: Unset Dependent Propositions Elimination
# --
Unset Dependent Propositions Elimination
